Un Framework de traçabilité pour des transformations à caractère impératif

National audienceCet article s’inscrit dans le cadre de l’ingénierie dirigée par les mo- dèles et apporte une contribution au problème de la traçabilité des artefacts de modélisation durant une chaîne de transformations écrites dans un langage impé- ratif. L’approche que nous proposons nécessite peu d’interventions de l’utilisa- teur. Nous introduisons un métamodèle générique des traces qui permet entre autres d’apporter une dimension multi-échelles aux traces grâce à l’applica- tion du patron de conception composite. Le principe de notre approche est de surveiller certaines catégories d’opérations intéressantes pour la génération de traces pertinentes. Ces catégories sont définies à l’aide du type des objets mani- pulés par les opérations. Une fois les catégories définies, la trace est générée par du code dédié qui est injecté automatiquement dans la transformation, autour des opérations caractérisées par les catégories définies. Un prototype a été réa- lisé pour les transformations de modèles écrites en Java, sur le framework EMF. L’injection du code dédié à la traçabilité est réalisée à l’aide de la programmation par aspects

Utilisation de l'analyse formelle de concepts pour extraire le plus grand modèle commun

International audienceThe development of information systems follows a long and complex process in which various actors are involved. We report an experiment in which we observe the evolution of the analysis model of an information system through 15 successive versions. We use indicators on the underlying concept lattices built by applying Relational Concept Analysis (RCA) to each version. RCA is an extension of FCA which groups entities based on characteristics they share, including links to other entities. It here helps in analyzing their evolution. From this experience, we establish recommendations to monitor and verify the proper evolution of the analysis process

Using Aspect-Oriented Programming to Trace Imperative Transformations

International audienceWith the advent of languages and tools dedicated to model-driven Engineering (e.g., ATL, Kermeta, EMF), as well as reference metamodels (MOF, Ecore), model-driven development processes can be used easily. However, the maturity of a software engineering technology should be evaluated by the degree of use of trace ability practices. One of the first major challenges consists in generating automatically trace information during a transformation process. Our contribution is a tool dedicated to infer traces during the execution of a model transformation. This tool is based on aspect oriented programming which permits us to isolate management of traces and imperative transformations code in a Java/EMF environment. A meta-model of nested traces allows the visualisation of traces as nested graphs which represent the trace ability links and the control flow diagram of the execution. A model-to-model case study is proposed as an example to illustrate our contribution

Selective separation of α- and β-cyclodextrins by complexation/ultrafiltration using supra molecular host-guest interaction

International audienceThis work is aimed at developing a new process to separate alpha-cyclodextrin (CD) from binary alpha-CD/beta-CD mixtures. To achieve this objective, a membrane process was designed with water as solvent and using the selective accommodation of a guest Igepal Co-890 (IG) within the beta-CD cavity. In the first part, host-guest inclusion study suggested the formation of IG(2)/beta-CD complex in presence of IG excess. Moreover, increasing IG/CD molar ratio to 1.5 leads to the complete complexation of beta-CD while alpha-CD remains free. The second part was devoted to the separation of alpha- and beta-CD using UF membranes (GH and GK from GE-Osmonics). The influence of parameters including membrane molecular weight cut-off (MWCO), transmembrane pressure (Delta P), IG/beta-CD and alpha-CD/beta-CD molar ratios, was investigated. MWCO, Delta P, IG/beta-CD and alpha-CD/beta-CD molar ratios respectively of 1000 Da, 2 bar, 1.5 and 11:89 are the optimized values to reach an alpha-CD separation factor as high as 38. The experimental data fits very well with predicted values calculated using the parameters found in the complexation study and rejection of single solutions indicating that selectivity predominantly originates from steric exclusion of species by membrane GH

Finding Semi-Automatically a Greatest Common Model Thanks to Formal Concept Analysis

International audienceData integration and knowledge capitalization combine data and information coming from different data sources designed by different experts having different purposes. In this paper, we propose to assist the underlying model merging activity. For close models made by experts of various specialities on the same system, we partially automate the identification of a Greatest Common Model (GCM) which is composed of the common concepts (core-concepts) of the different models. Our methodology is based on Formal Concept Analysis which is a method of data analysis based on lattice theory. A decision tree allows to semiautomatically classify concepts from the concept lattices and assist the GCM extraction. We apply our approach on the EIS-Pesticide project, an environmental information system which aims at centralizing knowledge and information produced by different research teams

Using Formal Concept Analysis to Extract a Greatest Common Model

International audienceData integration and knowledge capitalization combine data and information coming from different data sources designed by different experts having different purposes. In this paper, we propose to assist the underlying model merging activity. For close models made by experts of various specialities, we partially automate the identification of a Greatest Common Model (GCM) which is composed of the common concepts (core concepts) of the different models. Our methodology is based on Formal Concept Analysis which is a method of data analysis based on lattice theory. A decision tree allows to semi-automatically classify concepts from the concept lattices and assist the GCM extraction. We apply our approach on the EIS-Pesticide project, an environmental information system which aims at centralizing knowledge and information produced by different specialized teams

Psychiatric symptoms and mortality in older adults with major psychiatric disorders: results from a multicenter study

International audienc